A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences
نویسندگان
چکیده
In this paper, we mainly present the implementation of a system that translates first order logic (FOL) formulas into natural language (NL) sentences. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where it is used as a means for feedback to the students-users. FOL to NL conversion is achieved by using a rule-based approach, where we exploit the pattern matching capabilities of rules. So, the system consists of rule-based modules corresponding to the phases of our translation methodology. Facts are used in a lexicon providing lexical and grammatical information that helps in producing the NL sentences. The whole system is implemented in Jess, a java-implemented rule-based programming tool. Experimental results confirm the success of our choices.
منابع مشابه
A Knowledge-based System for Translating FOL Formulas into NL Sentences
In this paper, we present a system that translates first order logic (FOL) formulas into natural language (NL) sentences. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where it is used as a means for feedback to the users. FOL to NL conversion is achieved by using a rule-based approach, where we exploit the pattern matching capab...
متن کاملThe Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL
In order to answer questions and solve problems that require deeper reasoning with respect to a given text, it is necessary to automatically translate English sentences to formulas in an appropriate knowledge representation language. This paper focuses on a method to translate sentences to First-Order Logic (FOL). Our approach is inspired by Montague’s use of lambda calculus formulas to represe...
متن کاملConverting First Order Logic into Natural Language: A First Level Approach
In this paper, we present the FOLtoNL system, which converts first order logic (FOL) sentences into natural language (NL) ones. The motivation comes from an intelligent tutoring system teaching logic as a knowledge representation language, where we use it as a means for feedback to the users. FOL to NL conversion is achieved by using a rule-based approach, where we exploit the pattern matching ...
متن کاملThe Situations We Talk about LENHART
I argue in favor of associating situations (events, episodes, eventualities, etc.) with arbitrarily complex sentences, not just atomic predicates, in NL interpretation. In that respect, a Situation Semantics approach to incorporating situations into semantic representations is preferable to a Davidsonian one. However, I will further argue that beyond the notion of truth or falsity of a sentence...
متن کاملGraphical Revelations: Comparing Students' Translation Errors in Graphics and Logic
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teaching students the formal language of first-order logic. In this paper, we present some initial results that demonstrate that, when we look at how students construct diagrammatic representations of information expresse...
متن کامل